%%
xyz { fputs("1: ", stdout); ECHO; REJECT; }
yz { fputs("2: ", stdout); ECHO; }
%%
int yywrap(void) { return 1; }
int main(int argc, char **argv) { yylex(); return 0; }
